- arithmétique prédicative
- сущ.
лог. арифметика предикатов
Французско-русский универсальный словарь. 2013.
arithmétique prédicative
Смотреть что такое "arithmétique prédicative" в других словарях:
LOGIQUE (HISTOIRE DE LA) — Ce n’est qu’à une époque relativement récente qu’on a vraiment commencé à s’intéresser à l’histoire de la logique. Jusqu’au milieu du XIXe siècle régnait en effet l’idée que la logique n’avait pas d’histoire, étant, pour l’essentiel, sortie… … Encyclopédie Universelle
RELATION — Le concept de relation apparaît comme l’un des concepts fondamentaux du discours rationnel. Il semble lié à la pratique de l’analyse, qui constitue elle même l’un des aspects essentiels de la démarche discursive. L’analyse décompose les unités… … Encyclopédie Universelle
RUSSELL (B.) — La longue vie qui fut accordée à Russell, l’alacrité avec laquelle il a supporté celle ci ont fait de lui un personnage hors série. Toujours en quête de renouvellement, il était, par l’ampleur de sa réflexion et la franchise de son action morale… … Encyclopédie Universelle
Logique — Pour les articles homonymes, voir Logique (homonymie). Gregor Reisch« La logique présente ses thèmes centraux », Margarita Philosophica, 1503/08 … Wikipédia en Français
de — 1. de [ də ] prép. • 842; lat. class. de qui s est substitué en bas lat. à l emploi du génitif ♦ Mot invariable qui sert à établir des rapports variés entre deux mots ou groupes de mots. REM. De s élide généralt en d devant une voyelle ou un h… … Encyclopédie Universelle
dé — 1. de [ də ] prép. • 842; lat. class. de qui s est substitué en bas lat. à l emploi du génitif ♦ Mot invariable qui sert à établir des rapports variés entre deux mots ou groupes de mots. REM. De s élide généralt en d devant une voyelle ou un h… … Encyclopédie Universelle
notation — [ nɔtasjɔ̃ ] n. f. • 1531 « décision »; lat. notatio 1 ♦ (1750) Action, manière de noter, de représenter par des symboles; système de symboles. Notation des nombres, notation numérique; notation par lettres. Notation littérale, algébrique, créée… … Encyclopédie Universelle
